61. Bounded variable logics and counting
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Model theory. ; Computational complexity. ;
62. Bounded variable logics and counting
پدیدآورنده: / Martin Otto
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Computational complexity.
رده :
QA
,
9
.
7
,.
O88
,
1997
63. Bounded variable logics and counting : a study in finite models
پدیدآورنده: Martin Otto
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9
64. Building models by games
پدیدآورنده: Hodges, Wilfrid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Model theory,، Game theory
رده :
QA
9
.
7
.
H63
1985
65. Categoricity /
پدیدآورنده: John T. Baldwin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Completeness theorem,Model theory
رده :
QA9
.
67
.
B35
2009
66. Categoricity
پدیدآورنده: John T. Baldwin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Completeness theorem,، Model theory
رده :
QA
9
.
67
.
B25C3
67. Classification theory
پدیدآورنده: / J.T. Baldwin (ed.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Model theory -- Congresses
رده :
QA
9
.
7
.
U8
1985
68. Classification theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algebraic Varieties-Classification theory ► Model theory
رده :
C614
69. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
70. Classification theory and the number of non-isomorphic models
پدیدآورنده: Shelah, Saharon.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
S53
1990
71. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
72. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده: J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
73. Combinatorial Set Theory
پدیدآورنده: \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
74. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
75. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
76. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
QA
,
248
,.
H238
,
2012
77. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
78. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
79. Combinatorial set theory with a gentle introduction to forcing
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H238
2012
80. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
